Analysing Feature Intera tions with AutomatedDedu tion Systems ?

Feature Logics and Refinement

In this paper, we present an institution of feature logi s whi h generalises the earlier approa h of [6℄ in various way. Then we de ne a re nement theory to deal with the omplexity of feature intera tions in this generi framework. Indeed, one of the main problem en ountered when dealing with feature intera tion is the omplexity of the dete tion. There is a general agreement on the point that im...

!LEM: A Method for Predicting User Interaction Time and System Energy Consumption during Application Design

H#e i)*a"t o' +ser intera"tions on t#e ele"tri" energy "ons+)*tion o' a *orta=le "o)*+ter syste) an2 on +ser e''i"ien"y is o'ten not o=taina=le +ntil a'ter t#e so'tIare a**li"ation is i)*le)ente2 an2 2e*loye2 on a s*e"i'i" #ar2Iare *lat'or)G Jn t#is *a*er> Ie *resent t#e KeystroLeMNevel 5nergy Mo2el OKN5MP> a )et#o2 t#at "an *re2i"t t#e +ser ti)e an2 syste) energy "ons+)*tion it Iill taLe to *e...

Model Che king for Feature Intera tion Analysis : Why is my State - spa e so Big , and What CanI do about it ?

Óöøööò ¼ Ôöóóööñ Øó ×óðú Øøø Ààöøööö¹¹ó Õùùøøóò× Óö Òøøöö Blockinøøòò ×ôôò¹

X iv :0 80 7. 34 44 v1 [ co nd -m at .o th er ] 2 2 Ju l 2 00 8 A Fortran 90 program to solve the Hartree-Fo k equations for intera ting spin-12 Fermions on ned in Harmoni potentials Hridis Kumar Pal1,2, Alok Shukla3 Physi s Department, Indian Institute of Te hnology, Powai, Mumbai 400076, INDIA Abstra t A set of weakly intera ting spin-12 Fermions, on ned by a harmoni os illator potential, and...

Learning Agents in a Homo Egualis Society

ABSTRACT Coordination is an important issue in multi-agent systems. A possible approa h to ta kle oordination, that re ently reeived quite a lot of attention, is to learn the e e ts of intera tion in the joint a tion spa e. However joint a tion spa es violate generally a epted requirements of multi-agents systems, su h as : distributed ontrol, asyn hronous a tions, in omplete information, ost o...